home *** CD-ROM | disk | FTP | other *** search
- Path: newshost.lanl.gov!tanmoy
- From: tanmoy@qcd.lanl.gov (Tanmoy Bhattacharya)
- Newsgroups: comp.lang.c,comp.std.c
- Subject: Re: Integral conversion e.t.c. (was: Re: Hungarian notation)
- Date: 29 Jan 1996 16:28:17 GMT
- Organization: Los Alamos National Laboratory
- Message-ID: <TANMOY.96Jan29092817@qcd.lanl.gov>
- References: <30C40F77.53B5@swsbbs.com> <DLtABq.Fzu@mv.mv.com>
- <4edqh2$rvl@solutions.solon.com>
- <KANZE.96Jan29121956@slsvewt.lts.sel.alcatel.de>
- <4eindq$eju@solutions.solon.com>
- NNTP-Posting-Host: qcd.lanl.gov
- Mime-Version: 1.0
- Content-Type: text
- In-reply-to: seebs@solutions.solon.com's message of 29 Jan 1996 09:00:10 -0600
-
- In article <4eindq$eju@solutions.solon.com> seebs@solutions.solon.com
- (Peter Seebach) writes:
- <snip>
- I think that may actually legitimately require a diagnostic; 5.1.2.2.1 gives
- us a constraint (?) of "If they are defined, the parameters to the main
- function shall obey the following constraints: ..." and some definitions.
-
- I would take this as implying that main *must* conform. I would like to see
- them go from "can be declared" to "shall be declared".
-
- Already, though, it is clear than any main other than those provided makes
- undefined behavior.
-
- If it were a constraint violation, it would not have been undefined
- behaviour. In any case, 5.1.2.2.1 is not a constraint because it does
- not appear in the constraint section. I would say that the use of
- constraint in 5.1.2.2.1 is in its non-technical sense rather than the
- one that 3.16 is referring to.
-
- Cheers
- Tanmoy
- --
- tanmoy@qcd.lanl.gov(128.165.23.46) DECNET: BETA::"tanmoy@lanl.gov"(1.218=1242)
- Tanmoy Bhattacharya O:T-8(MS B285)LANL,NM87545 H:#9,3000,Trinity Drive,NM87544
- Others see <gopher://yaleinfo.yale.edu:7700/00/Internet-People/internet-mail>,
- <http://alpha.acast.nova.edu/cgi-bin/inmgq.pl>or<ftp://csd4.csd.uwm.edu/pub/
- internetwork-mail-guide>. -- <http://nqcd.lanl.gov/people/tanmoy/tanmoy.html>
- fax: 1 (505) 665 3003 voice: 1 (505) 665 4733 [ Home: 1 (505) 662 5596 ]
-